This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Continue readingThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue readingThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Continue readingThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue readingThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Continue readingThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue readingThis volume systematically sets out the basic elements on which to base financial analysis for business in the new century. ...
Continue readingThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
Continue readingThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Continue readingThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Continue readingThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
Continue readingThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue readingThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue readingThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue readingThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Continue readingThis book is at the interface of logic, philosophy and science. It is intended for readers with interest and/or current involvement ...
Continue readingThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Continue reading